Algorithm engineering

Results: 1680



#Item
131Clocks / Electrical engineering / Synchronization / Clock signal / Clock skew / Mathematics / Computing / Clock synchronization / Clock / Flow network / Algorithm / Distributed computing

Tight Bounds for Clock Synchronization CHRISTOPH LENZEN, THOMAS LOCHER, AND ROGER WATTENHOFER ETH Zurich, Zurich, Switzerland Abstract. We present a novel clock synchronization algorithm and prove tight upper and lower b

Add to Reading List

Source URL: www.tik.ee.ethz.ch

Language: English - Date: 2015-05-18 12:15:51
132Concurrent computing / Distributed computing / Software / Berkeley Open Infrastructure for Network Computing / Volunteer computing / Grid computing / Climateprediction.net / NC / BitTorrent / SETI@home / Algorithm

Distributed Asymmetric Verification in Computational Grids Michael Kuhn, Stefan Schmid, Roger Wattenhofer Computer Engineering and Networks Laboratory (TIK) ETH Zurich CH-8092 Zurich, Switzerland

Add to Reading List

Source URL: disco.ethz.ch

Language: English - Date: 2014-09-26 08:36:29
133Human-based computation / Crowdsourcing / Theoretical computer science / Computing / Business / Collective intelligence / Workflow technology / Social information processing / Amazon Mechanical Turk / Microtask / Algorithm / Computation

The Complexity of Crowdsourcing: Theoretical Problems in Human Computation Anand Kulkarni Department of Industrial Engineering and Operations Research 4141 Etcheverry Hall, University of California,

Add to Reading List

Source URL: crowdresearch.org

Language: English - Date: 2011-03-24 21:28:55
134Seismology / Earthquake engineering / ShakeAlert / United States Geological Survey / Earthquake / Geology

PNW ShakeAlert overview  Past and expected performance of ElarmS-2 algorithm  Bottom line – should work for all events close enough and big enough to cause damage.  But we will do more extensive testing to be

Add to Reading List

Source URL: assets.pnsn.org

Language: English - Date: 2015-02-17 14:05:55
135Computing / Fault-tolerant computer systems / Consensus / Leader election / Timeout / Raft / Server / Log / Software engineering

Raft: A Consensus Algorithm for Replicated Logs Diego Ongaro and John Ousterhout Stanford University Goal: Replicated Log

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2016-08-15 14:36:17
136Theoretical computer science / Logic in computer science / Formal methods / Software engineering / Formal verification / Refinement / Linearizability / Correctness / Operational semantics / Semantics / Concurrency / Algorithm

University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications

Add to Reading List

Source URL: staff.ustc.edu.cn

Language: English - Date: 2015-04-24 09:43:54
137Statistics / Information science / Information retrieval / Machine learning / Learning to rank / Monotone likelihood ratio / K-nearest neighbors algorithm / Random sample consensus

Robust Structural Metric Learning Daryl K. H. Lim Department of Electrical and Computer Engineering, University of California, San Diego, CAUSA Brian McFee

Add to Reading List

Source URL: eceweb.ucsd.edu

Language: English - Date: 2015-07-31 19:00:26
138Computational phylogenetics / Computer programming / Bioinformatics / Software engineering / Suffix tree / Tree alignment / Dynamic programming / BLAST / BurrowsWheeler transform / Tree traversal / Tree / NeedlemanWunsch algorithm

CSE 584A Class 20 Jeremy Buhler April 6, 2016 1

Add to Reading List

Source URL: classes.engineering.wustl.edu

Language: English - Date: 2016-04-06 08:04:12
139Numerical linear algebra / Mathematics / Numerical analysis / Mathematical analysis / Density matrix renormalization group / Applied mathematics / Multigrid method / Tensor / Lanczos algorithm / Algorithm / Preconditioner / Matrix

Computational Science and Engineering (Int. Master’s Program) ¨ MUNCHEN ¨ TECHNISCHE UNIVERSITAT

Add to Reading List

Source URL: www5.in.tum.de

Language: English
140Graphics hardware / Parallel computing / Computing / GPGPU / Global Positioning System / Graphics processing unit / Algorithm / GPS navigation device / Computer engineering

Distributed Computing Prof. R. Wattenhofer BA/MA/SA/Group/Lab: GPS on a GPU

Add to Reading List

Source URL: www.tik.ee.ethz.ch

Language: English - Date: 2016-06-03 11:40:46
UPDATE